using System;
using Microsoft.Pex.Framework;

namespace Benchmarks
{
    [PexClass(typeof(StaticTest))]
    public partial class StaticTest
    {
        [PexMethod]
        public void Teststatic(StaticField s)
        {
           s.Test();
        }

        [PexMethod]
        public void TestMETHOD(int i)
        {
            i = 20;
            if (i > 10)
            {

                Console.WriteLine("1");
            }
            else
            {
                Console.WriteLine("2");
            }
        }
    }

    public class StaticField
    {
        public static int a;

        public void Test()
        {
            if (a>10)
            {
                Console.WriteLine("1");
            }
            else
            {
                Console.WriteLine("2");
            }
        }
    }



}